<script src="<%=basePath%>js/index.js" charset="UTF-8"></script>
<script src="<%=basePath%>js/pages.js" charset="UTF-8"></script>
<script>
  $("#index").click(function () {
    window.location.href="<%=basePath%>index";
  });
  $("#introduction").click(function () {
    window.location.href="<%=basePath%>pages/desc.html";
  });
  $("#notification").click(function () {
    window.location.href="javascript:void(0)";
  })

</script>